Exploring Teachers PCK for Computational Thinking in Context

NWOAlgorithms and the Foundations of Software technolog

Comparison of RBE values of high- LET α-particles for the induction of DNA-DSBs, chromosome aberrations and cell reproductive death

<p>Abstract</p> <p>Background</p> <p>Various types of radiation effects in mammalian cells have been studied with the aim to predict the radiosensitivity of tumours and normal tissues, e.g. DNA double strand breaks (DSB), chromosome aberrations and cell reproductive inactivation. However, variation in correlations with clinical results has reduced general application. An additional type of information is required for the increasing application of high-LET radiation in cancer therapy: the Relative Biological Effectiveness (RBE) for effects in tumours and normal tissues. Relevant information on RBE values might be derived from studies on cells in culture.</p> <p>Methods</p> <p>To evaluate relationships between DNA-DSB, chromosome aberrations and the clinically most relevant effect of cell reproductive death, for ionizing radiations of different LET, dose-effect relationships were determined for the induction of these effects in cultured SW-1573 cells irradiated with gamma-rays from a Cs-137 source or with α-particles from an Am-241 source. RBE values were derived for these effects. Ionizing radiation induced foci (IRIF) of DNA repair related proteins, indicative of DSB, were assessed by counting gamma-H2AX foci. Chromosome aberration frequencies were determined by scoring fragments and translocations using premature chromosome condensation. Cell survival was measured by colony formation assay. Analysis of dose-effect relations was based on the linear-quadratic model.</p> <p>Results</p> <p>Our results show that, although both investigated radiation types induce similar numbers of IRIF per absorbed dose, only a small fraction of the DSB induced by the low-LET gamma-rays result in chromosome rearrangements and cell reproductive death, while this fraction is considerably enhanced for the high-LET alpha-radiation. Calculated RBE values derived for the linear components of dose-effect relations for gamma-H2AX foci, cell reproductive death, chromosome fragments and colour junctions are 1.0 ± 0.3, 14.7 ± 5.1, 15.3 ± 5.9 and 13.3 ± 6.0 respectively.</p> <p>Conclusions</p> <p>These results indicate that RBE values for IRIF (DNA-DSB) induction provide little valid information on other biologically-relevant end points in cells exposed to high-LET radiations. Furthermore, the RBE values for the induction of the two types of chromosome aberrations are similar to those established for cell reproductive death. This suggests that assays of these aberrations might yield relevant information on the biological effectiveness in high-LET radiotherapy.</p

Studies of the dose-effect relation

Dose-effect relations and, specifically, cell survival curves are surveyed with emphasis on the interplay of the random factors — biological variability, stochastic reaction of the cell, and the statistics of energy deposition —that co-determine their shape. The global parameters mean inactivation dose, , and coefficient of variance, V, represent this interplay better than conventional parameters. Mechanisms such as lesion interaction, misrepair, repair overload, or repair depletion have been invoked to explain sigmoid dose dependencies, but these notions are partly synonymous and are largely undistinguishable on the basis of observed dose dependencies. All dose dependencies reflect, to varying degree, the microdosimetric fluctuations of energy deposition, and these have certain implications, e.g. the linearity of the dose dependence at small doses, that apply regardless of unresolved molecular mechanisms of cellular radiation action

A dependent nominal type theory

Nominal abstract syntax is an approach to representing names and binding pioneered by Gabbay and Pitts. So far nominal techniques have mostly been studied using classical logic or model theory, not type theory. Nominal extensions to simple, dependent and ML-like polymorphic languages have been studied, but decidability and normalization results have only been established for simple nominal type theories. We present a LF-style dependent type theory extended with name-abstraction types, prove soundness and decidability of beta-eta-equivalence checking, discuss adequacy and canonical forms via an example, and discuss extensions such as dependently-typed recursion and induction principles

Extensional and Intensional Strategies

This paper is a contribution to the theoretical foundations of strategies. We first present a general definition of abstract strategies which is extensional in the sense that a strategy is defined explicitly as a set of derivations of an abstract reduction system. We then move to a more intensional definition supporting the abstract view but more operational in the sense that it describes a means for determining such a set. We characterize the class of extensional strategies that can be defined intensionally. We also give some hints towards a logical characterization of intensional strategies and propose a few challenging perspectives